منابع مشابه
Acióly-Scott Interval Categories
In this work, from the category sight, we provide a generalization for the real interval theory. This generalization allows us to study generic properties of data which are “intervals” of another data, providing a categorical foundation of intervals as a parametric data type. In doing so we obtain some properties which holds for real intervals, complex intervals, interval vectors, interval matr...
متن کاملCartesian closed categories of separable Scott domains
We classify all sub-cartesian closed categories of the category of separable Scott domains. The classification employs a notion of coherence degree determined by the possible inconsistency patterns of sets of finite elements of a domain. Using the classification, we determine all sub-cartesian closed categories of the category of separable Scott domains that contain a universal object. The sepa...
متن کاملCategorical Domain Theory: Scott Topology, Powercategories, Coherent Categories
In the present article we continue recent work in the direction of domain theory were certain (accessible) categories are used as generalized domains. We discuss the possibility of using certain presheaf toposes as generalizations of the Scott topology at this level. We show that the toposes associated with Scott complete categories are injective with respect to dense inclusions of toposes. We ...
متن کاملClustering and Classification of Music by Interval Categories
We present a novel approach to clustering and classification of music, based on the concept of interval categories. Six interval categories exist, each with its own musical character. A piece of music can be represented by six numbers, reflecting the percentages of occurrences of each interval category. A piece of music can, in this way, be visualized as a point in a six dimensional space. The ...
متن کاملScott processes
The Scott process of a relational structure M is the sequence of sets of formulas given by the Scott analysis of M . We present axioms for the class of Scott processes of structures in a relational vocabulary τ , and use them to give a proof of an unpublished theorem of Leo Harrington from the 1970’s, showing that a counterexample to Vaught’s Conjecture has models of cofinally many Scott ranks ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)05020-0